#!/bin/bash

echo "Executando Maude"
./Maude/maude-linux64/maude.linux64 PetriNetGals.maude > Debug/PetriNetGals.saida
echo "Executando Parser"
cat Debug/PetriNetGals.saida | python scripts/parser.py > PetriNetGals.resultado
echo "Done"
